High-level programming language - PDFSEARCH.IO - Document Search Engine

High-level programming language
Results: 134

#	Item
111	Digital Design Derivation 1. Introduction This research applies formal methods in logic, verification, and synthesis to digital design engineering. The work centers on the use of applicative notation for system descript Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 15:58:20 Logic in computer science Digital electronics Logic synthesis Logic simulation High-level synthesis Verilog Actor model Abstraction Programming language Electronic engineering Electronic design automation Electronic design
112	algebra for digital design derivation Research Prospectus Algebra for Digital Design Derivation August, 1989 Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:08:06 Formal methods Digital electronics Logic synthesis Formal verification High-level synthesis Logic gate Standard cell Programming language Function model Electronic engineering Electronic design automation Electronic design
113	Perl Language Reference Manual for Perl version[removed]Larry Wall and others Published by Network Theory Ltd Add to Reading List Source URL: www.network-theory.co.uk Language: English - Date: 2010-10-13 10:39:22 Pattern matching Perl Regular expressions High-level programming languages Scripting languages Delimiter Operators in C and C++ Python Escape character Computing Software engineering Computer programming
114	4 4 Why have "high-level" languages? 4.1 LIMITATIONS OF ASSEMBLY LANGUAGE AND Add to Reading List Source URL: www.uow.edu.au Language: English - Date: 2001-01-07 17:05:09 Procedural programming languages Data types Programming language implementation Fortran Control flow Subroutine Assembly language C Goto Computing Software engineering Computer programming
115	Journal of Instruction-Level Parallelism[removed]Submitted 10/02; published 4/03 Add to Reading List Source URL: www.jilp.org Language: English - Date: 2003-04-27 18:43:37 Parallel computing Programming language implementation Computer performance Compilers Profilers The Portland Group High Performance Fortran NAS Parallel Benchmarks Automatic parallelization Computing Computer programming Software engineering
116	Complex numbers Assignment of real and imaginary parts: a=(ar,ai) Add to Reading List Source URL: physics.bu.edu Language: English - Date: 2013-09-05 12:36:00 Procedural programming languages ALGOL 68 C++ classes Control flow C Fortran Bc programming language Fortran 95 language features High Level Assembly Computing Software engineering Computer programming
117	The Western Design Center, Inc. September 2005 Add to Reading List Source URL: www.westerndesigncenter.com Language: English - Date: 2012-01-09 18:40:41 Assembly languages Assemblers Object file IBM Basic assembly language Directive Macro Linker GEORGE High Level Assembly Computing Software Programming language implementation
118	SOFTWARE IV1ANUAL AMOS Add to Reading List Source URL: kicksfortso.com Language: English - Date: 2012-12-04 12:23:26 Computing Assembly languages IBM Basic assembly language Preprocessor Macro High Level Assembly Software engineering Computer programming Programming language implementation
119	Acute: High-Level Programming Language Design for Distributed Computation Peter Sewell∗ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-07-10 10:11:31 Functional languages Procedural programming languages C programming language Type theory C++ Standard ML ALGOL 68 Type system ATS Software engineering Programming language theory Computing
120	Acute High-level programming language design for distributed computation Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2004-10-12 04:46:10 Functional languages Procedural programming languages Type theory Models of computation Program analysis Type system Standard ML Type safety Programming language Software engineering Computing Programming language theory

UPDATE